http://identifiers.org/mgd/MGI:5525150 MGI:5525150 Hif1a<tm3.1Rsjo> Null/knockout targeted mutation 3.1, Randall S Johnson